Revision: tla-tools--devo--0--patch-12
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Wed Jan 14 11:44:57 JST 2004
Standard-date: 2004-01-14 02:44:57 GMT
Modified-files: tagline-funs.awk tla-update-ids.shpp
New-patches: miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-12
Summary: Add --tagline-rules option to tla-update-ids
Keywords: 

